Constructive Logic and the Medvedev Lattice
نویسنده
چکیده
We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in between intuitionistic propositional logic and the logic of the weak law of the excluded middle (also known as De Morgan, or Jankov logic). We discuss the relation between the weak law of the excluded middle and the algebraic notion of join-reducibility. Finally we discuss autoreducible degrees. Mathematics Subject Classification: 03D30, 03B55, 03G10, 03D80.
منابع مشابه
Kripke Models, Distributive Lattices, and Medvedev Degrees
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence between Kripke models and algebraic structures such as factors of the Medvedev lattice.
متن کاملThe Medvedev lattice of computably closed sets
Simpson introduced the lattice P of Π 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We present a solution to a question of Simpson about Medvedev degrees of Π 1 classes of positive measure that was independently solved by Simpson and Slaman. We then proceed to discuss connections to constructive logic. In part...
متن کاملIntermediate logics and factors of the Medvedev lattice
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
متن کاملFirst-Order Logic in the Medvedev Lattice
Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal quantifier. We extend the work of Medvedev to fi...
متن کاملNatural factors of the Medvedev lattice capturing IPC
Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov’s logic, the deductive closur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 47 شماره
صفحات -
تاریخ انتشار 2006